<?php
	function print_ln($str, $html=true){
		echo $str . (($html)?'<br/>':'') . "\n";
	}
?>